perm filename PROOFS.PRE[F80,JMC] blob
sn#547744 filedate 1980-11-24 generic text, type T, neo UTF8
!SiTh"SJB λ∧α+⊂)DH"λεβ_ ε"(⊂(t()Pd¬⊂"Pdα(⊂(t(⊂λ∧∧ "Th5⊂$T
DH'SH3_ εβλ⊂ εβ_ (3_ εβ⊂⊂ εβ_ Dα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧β`&∩*5∨∪ ∃_( J4λ+ &3_!Lεβ~ ∧∧('⊃ TX!EG0wαv}x1πN∂0xπ=`X[{l Pxε=`X[{kq0xβ≥`X[{kY⊂x
]`X[{k@pxβ≥`X[{k(Px⎇`X[{k⊂0 !`↓;80u`∩@X αP⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∂ DH)Tπd`$Tjαp)P*cX_Lf2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λπD⊂'V(U⊂∨⊂it "KG3λ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∂λ$x,Q*#p!ShD(_KG38≤ $α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∂λ$x,Q*#p"⊂*Dλ↔∞f∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∂λ$x,Q*#p"⊂*Dλ_KG3⊂⊂λ∧α⊂λ∧α⊂λ∧¬ 4≥.'_2_/∩`⊂∪Mw02[,&(9λε#⊗λε∪H≤ ∧β ≥ &∃&K*¬_*λ+t "QIb@'∃ α∀∃$∧p∀H∧α⊂λ∧α⊂λ∧α@$QDα@-⊃*$x(λ bH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
R⊂λ∧α⊂λ∧α⊂λ∧α⊂
∀0⊂
λUλ*P)B'λε∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧_ TD¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃ α∀⊂hE⊂⊂∃%∩∀∀jT⊂_H bH∀J%∩H⊂λ∧α⊂∃
ε(⊂≠ Vh6X$¬_*PF∩p&⊃*5_(λ
⊗p3≠n&h9H∞W_⊂≥
ελ:λ¬∧_'U)e ⊂∪E⊗ 2Xn&(0\lW_⊂_,6_7\LFH7→dπ 7H∞F@2H∞v(6≠¬V07]-f 2Y∧ε0:[L7 4[mb&⊃*5_(λ
⊗p2X,6@⊂≤LV_:\N6H;→$ε_0[
Bp⊂λ ε(7_lR`⊂∪JD@⊂~.20Xl6(8≥ V ⊂≥-f 2\Dπ 4→,F(3~-fH:~-vp0[∧π9~-f_4\
F(↔⊗f38→N$ε_7≤dαx⊂ &2p→H∞2∃Hεαp_λ v_⊂
dαp≠λ
⊗x⊂
πR_MD∧⊂ %∃h'∃ αλ/QλT0'
∀p"⊃+α∀∃$¬@∀H∧α⊂λ∧α⊂λ∧α⊂
∀0⊂
d`$TjE⊂∃%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧β⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩(b∀⊃*∃( S∧α@!P*"*J$¬@∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂ $α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧λ"⊃ε∩∀∩)d "V∧α@!Q
"*J$¬@∀J%∩H∀H∧α⊂λ
F@2H
F(6[,∩!Q
"p&⊃*5_(λ 6λ7λ &(⊂≥.6(2λ∞Fx⊂≤∞&x;→$π 4_.B@!SjTp*λ
RH⊂→ V_9→,↔_2\dελ1Xmw⊂2~-f8⊂≥
r:~ R;Y-F`⊗YMw(7→ V ⊂→NVp1]
⊗x7∪λU_)T∧εH7λ Vλ1Z∧π⊂2XnW⊂9Z.f(⊂_l⊗`6 Dα$→-f_2K∧∧H'⊃λU@⊂~.20Xl6(8≥ V :[LF(9λ∞F@2H F(3~-fH:~-vp0[∧π9~-f_4\
F(↔λ∧∧x1≤lW⊂;→$π 4_.B@'∃)T⊂"TJα∀∩)d "V∧¬(⊂⊗¬∩H⊂~.20H∞F@2[n&(6KK3λ≠MFr1[N2↔Hεbp~λ∞2∃Hεαp_λ v_⊂
dαp≠H
⊗x⊂
πR≤Hλα_J+TH'⊃λU@⊂WhD(#∪E∧h"S("∀⊗∧¬H∀H∧α⊂λ∧α⊂λ∧α∀∩(b∀∪IDH)U
α,J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λdλ&∀hRH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$QDα@"T*Tλ&λ α∀⊂h∃⊂⊂⊗%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬ ⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&Q)T⊂⊂⊗∧α@!Q
",J%∩H∀J$α⊂λ∧¬ 4→$ε`2[-Vλ⊂⊂hE⊂↔∪λU_)T∧εH7→Mw⊂6\dπ(9H∞F@0]∧α@!SjTp*λ ∩H⊂→mv(9Y
w87λ ⊗_1[n& 4[Lr:≠dπ 4→$π82[
Bh3≠nVp2→,B3≥-f_:~-vp⊂∪λU_)T∧εH7λ Vλ1Z∞&(1].'_4]LR1X-F`↔λ∧∧@2[L6(⊗λ T(&PDεH9H ⊗_1Y.π 2Y∧π(7→ W⊂⊂≥
ε(2→,fH7~.FH7[L⊗`⊂≤∞&H7_m↔6→%b⊂∪Mw 2H∞F@0]π"⊂λ∧α⊂
u⊂⊂
λdλ&∀hU⊂
T(&PD¬@⊂⊗%∩H⊂λ∧α⊂λ∧α⊂묬 )∃(U⊂
T(&PD¬@⊂⊗%∩H∀@wαv}x1πN∂0x ⎇`X[{l Px≥`X[{kq0x =`X[{kY⊂x≥`X[{k@px ]`X[{k(Px≥`X[{k⊂0x =`X[{jx⊂x≥`X[{j←px =`X[{jGPx≥`X[{j/0x ]`X[{j↔⊂x≥`X[{i}pxβ⎇`X[{ifPx¬⎇`X[{iN0xβ⎇`X[{i6⊂xπ=`X[{i≥pxε=`X[{i¬Px
⎇`X[{hm0x ⎇`X[{hU⊂x∞=`X[{h<px
]`X[{h$Px¬⎇`X[{h 0x≥`X[{gt⊂x≥`X[{g[px≥`X[{gCPx ⎇`X[{g+0x⎇`X[{g∪⊂x=`X[{fzpx≥`X[{fbPx∧=`X[{fJ0xε]`X[{f2⊂x∧=`X[{f→px =`X[{f↓Px¬=`X[{ei0x ⎇`X[{eQ⊂x ]`X[{e8px∞]`X[{e Px
⎇`X[{eλ0x ⎇`X[{dp⊂xλ⎇`X[{dWpx≥`X[{d?Px≥`X[{d'0x≥`X[{d∂⊂x =`X[{cvpx↓=`X[{c↑Px=`X[{cF0x≥`X[{c.⊂x∧≥`X[{c∃pxε=`X[{b⎇Px¬]`X[{be0x ≥`X[{bM⊂x¬≥`X[{b4px ]`X[{b≤Px
⎇`X[{b∧0x∞=`X[{al⊂x ]`X[{aSpxλ⎇`X[{a;Pxπ=`X[{a#0xπ=`X[{a ⊂ αv ↓;80u`∩@X ∂`4\dελ⊂≥
ε(7\LVh↔⊗f∪8_M$ε_7≤dαx⊂
Ec_⊂≤dαX⊂ ¬c⊂→l2∃H¬c0⊂~-r∀∂$β8⊂⊂∧βλ∀W)T(&PD∃x(∀Iu0"KID(&S(∩@#∪ir∀∀HU8)∩*D(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα@&Q)T⊂⊂⊗∧¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧p*∩∧¬(⊂
∀p"⊃+α*H αH∀H αH∀J*F@4\dε_7[M&(1]∞W⊂2H 6λ7λ &(⊂≤m⊗h8≠
⊗04Y,B`⊂≥.6H7→dπ 4→$ελ1_N&(;~,↔ 4[mdH&T DH"TeB:≠g"⊂λ∧α⊂
∀h(∪ ∀()H¬∧h"S(",λ
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧p*∩∧¬(⊂
∀p"⊃+α*H αH∀H αH∀K∞v@4Xmα;Y$π84[
B7_-V(⊂
F∩p⊂λ∧α⊂∃lR;Z-F`⊂_.π2X-B:≠dεH7→∞V_:~-vp↔λ∧¬ ;[dεH7→∞V_:~-vp9H ↔⊂2\nV83Y.7 2Y∧ε⊂<H∞F(9≠.24[Dπ 4→$ε_7[M&(1]∞W⊂2KDα$≠nv(;→."`⊂≥
ε(<H
V(9→lVH7≥
r7[LR6~-6(6≡$ε_0[LFH2_.F(⊂~-f :XnFH7[Eb⊂∃lR;Z-F`⊂~-f :XnFλ1Xmw⊂2~-f8⊂≥
r:~ R3≠mF`7]m⊗p3H∞6_4→-V(≥λ∧α⊂λ∧α@ SHB∀∩)U&∩(U_⊂
dx*λ¬∧`$TjE⊂∃%∩H⊂
∞α*H αH∀H∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧`$TjE⊂∃%∩∀≤∧α@!Q
"*J$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬π⊂∃$¬@∀J%∩p*~ R4[LWλ:X-FH:≡$∧_"∀Ed`"Tj5⊂→.7 0XMFH9Z W_⊂≥
ελ:λ∞F@2H
V(0\nW⊂2Jλ4x*SJB*J$ε 2Xn&(0\lW_⊂_,6_7\LFH7→dπ 7H∞F@2H∞v(6≠¬V07]-f 2Y∧ε0:[L7 4[md`"Tj5⊂~-b:~ R4[LG(1]
⊗x7λ∞7 2\∧εx3λ∞F@2H∞6_4→-V(↔λ∧¬ 4→$ελ1≠nf(4[LG(1]
⊗x7λ∞6_4→-V(⊂≤∞&x2≥,6(9H∞F@2H fx6≠
w84[Lr:~∞&(2H
f(;Xmvp5→,7 :\LW_≥⊂l↔_2Hε2p⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@'∪jB∀∪ ∃_*∀∧¬(∀J$α@&Q)T⊂⊂⊗∧¬(∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧p*∩∧¬(⊂
∀p"⊃+α*H αH∀H αH∀KDα*~
↔_⊂≤m⊗h8≠
⊗04Y.2`⊂→/π0[LFH7→dπ 4→$ε 2YM⊗p4]
⊗x7≤dεx3λ d`$TjE⊗λ∧∧H'⊃λU@⊗λλUλ*P)B`⊂∪JD@⊗λ ⊗p2λ T(&PEB:≠g"⊂λ∧α⊂λ∧¬ ↔⊂l↔_2Hε"p⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@&∩*5 (λ
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂⊗∧α@!Q
"*J%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧h"S(",λ
RH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
e $λ
R∀∩)d "V∧¬(⊂⊗¬∩H⊂⊗¬∩H⊗λ∧π84~,6@⊂≥lR9Z-W6~,gH⊗λ∞Vp3≠mF 4[Lr'∪ ∃_*∀¬B$SHD(, ∧ελ7→∧∧h"S("`⊂≥
sP⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧`$TjE⊂∃%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S(",λ¬∧_"∀D¬(∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀⊂h∃⊂⊂∃%∩,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@'∃ α*Hε∩H⊂⊗¬∩H↔λ∧∧@7]lW02\Dπ 4~.29Z-W6~,fH2\dελ3X-⊗p⊗λ W@8_-f 4[Lr'∃)T⊂"TJα`⊂⊃*∃( S¬B⊂_-f ⊂∪JD@⊗λ∞Fx≥λ∧α⊂λ∧α⊂∃¬d_0\lR_KDα@$S*∧`$Q*2∀⊂)d ⊂
DH)U
α*J wαv}x1πN∂0xβ=`X[{l Px≥`X[{kq0x≥`X[{kY⊂x≥`X[{k@px =`X[{k(Px↓≥`X[{k⊂0x=`X[{jx⊂x≥`X[{j←pxε]`X[{jGPx ≥`X[{j/0x∞=`X[{j↔⊂x∞=`X[{i}pxβ≥`X[{ifPx≥`X[{iN0xε=`X[{i6⊂x ]`X[{i≥px≥`X[{i¬Px¬]`X[{hm0x≥`X[{hU⊂x≥`X[{h<px
=`X[{h$Px∞]`X[{h 0x
≥`X[{gt⊂xλ]`X[{g[px ≥`X[{gCPx =`X[{g+0xπ]`X[{g∪⊂x
=`X[{fzpx∞]`X[{fbPx
=`X[{fJ0x =`X[{f2⊂xβ≥`X[{f→px≥`X[{f↓Px =`X[{ei0x ≥`X[{eQ⊂x≥`X[{e8px
⎇`X[{e Pxλ]`X[{eλ0x≥`X[{dp⊂xα]`X[{dWpx≥`X[{d?Pxπ⎇`X[{d'0x ≥`X[{d∂⊂xλ=`X[{cvpx ≥`X[{c↑Px≥`X[{cF0x∞⎇`X[{c.⊂x≥`X[{c∃pxπ⎇`X[{b⎇Px ≥`X[{be0x
≥`X[{bM⊂x ]`X[{b4px≥`X[{b≤Px∞]`X[{b∧0xβ]`X[{al⊂x≥`X[{aSpxα]`X[{a;Px≥`X[{a#0xπ⎇`X[{a ⊂ βπ@↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
e $λ¬∧_"∀D¬(∀H¬∧H'⊃λU@⊂
λ4 )λ
RH⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂⊗¬∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
T(&PD¬@⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∪JD@⊂∃$α@$SHD(,λ
R,
%∩,
%∩`⊂λ∞v@4Xmα9Z-W6~,fH2\eB2↑∞ελ7→
⊗p3H∞F@2H F(3~-fH:~-vp9H
v0⊂∪IDH)U
α`⊂λ ∀p"⊃+α`⊂_-f ⊂∪(Th! ∧π 7H∞G87H
f(;H fx9≠.V`0\g"⊂⊂l↔_2Hε∩p→ Dα⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧`$TjE⊂∃%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∪JD@⊂
λ4 )λ
RH⊂
∀p"⊃+α∀⊂hE⊂⊂∃%∩,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α,
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪(Th!λ α∀⊂hE⊂⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ¬∧_ TD¬(∀H αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧p*∩∧¬(⊂
λ∀ " $α@$SHD(,λ¬∧_"∀D¬(∀H αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ αH∀K∧α⊂λ∞v@4Xmα;Y$ελ3X-⊗p⊂≤m⊗h8≠
⊗0<K∧ελ8≤
GH4[Lr)U(#λ↔⊂(D _H ⊗p2λ∧α⊂⊂(D _KHUλ*P)B`⊂_-f ⊂≠nε(7~-f8⊂≥.α:~ R2→,fH7~.FH7[N27YD∧p*S($()∀∧α⊂λ ⊗p2λ e $ ∧π 7NDα⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧`$TjE⊂∃%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧_"∀D¬(∀H αH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪(Th!λ α∀⊂hE⊂⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B∀⊂h∃⊂⊂∃%∩,
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧α@$SHD(,λ¬∧_"∀D¬(∀H αH⊂ ¬∩H∀K∧α⊂λ∞v@4Xmα;Y$ελ3X-⊗p⊂≤m⊗h8≠
⊗0<K∧ε_6→,↔⊂6≡%B:≠g"⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@ SHB∀∪ ∃_*∀∧¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪(Th!λ¬∧_"∀D¬(∀H¬∧_"∀D¬(∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
λ4λ)λ
RH⊂
λ4 )λ
RH∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
∀p"⊃+α∀⊂hE⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H⊂ ¬∩H∀KDα⊂λλ↔8→,⊗`4[Lr:≠dπ 4→$ε`2[-Vλ⊂⊂h∃⊂↔PhE⊂↔⊃)DH&K∧π82H
fx;H∞&(8≠ ⊗_2H
R⊂λ∧ε⊂<H¬∧_'SJ2+λ "H⊂≥
r2[
⊗h4[L↔ 2H¬∧_"∀D¬(∀H ⊗p2λ¬∧_ TD¬(∀KDα*~ R⊂λ∧π⊂2\nV`:λ
↔_≥λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
T(&PD¬P⊂⊗E∩∀∪Iu ⊂
λUλ*P)B+λ "H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
∀p"⊃+α-λ "H⊂ ¬∩H∀KDα⊂λ fλ6Y$π 4→$ελ1≠nf(⊂≤nV⊂3[l⊗`⊂
F∩p_KDα!X.6(⊂ %cλ↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊂)d ⊂
DH)U
α*J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@'∃ α∀⊂hE⊂⊂∃%∩∀∩)d "V∧α@!Q
"*J$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧¬@∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧_ TD¬(∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
e $λ
R_J$¬@∀J%B⊂λ∧π84~,6@⊂≥lR0Yl⊗H7λ∞6H6\
FH3≡%B7\ Vp4[Lr:\∧∧p*S($()∀¬B"T*Tλ& ∧ελ7→∧α⊂λ e $ ∧π 7NDα⊂λ∧α⊂λ∧α* @wαv}x1πN∂0x∂≥`X[{l Pxπ⎇`X[{kq0xλ=`X[{kY⊂x ≥`X[{k@px≥`X[{k(Px∞≥`X[{k⊂0x ⎇`X[{jx⊂x≥`X[{j←pxα⎇`X[{jGPx∧]`X[{j/0xπ⎇`X[{j↔⊂x∂≥`X[{i}pxπ⎇`X[{ifPx ]`X[{iN0x ]`X[{i6⊂x∞≥`X[{i≥pxπ≥`X[{i¬Px≥`X[{hm0x ⎇`X[{hU⊂x∞=`X[{h<px∧≥`X[{h$Px≥`X[{h 0xλ=`X[{gt⊂x
=`X[{g[px
≥`X[{gCPx ≥`X[{g+0x
]`X[{g∪⊂x≥`X[{fzpx
=`X[{fbPx≥`X[{fJ0x∧]`X[{f2⊂xλ≥`X[{f→px =`X[{f↓Px
=`X[{ei0x∞⎇`X[{eQ⊂x≥`X[{e8px∞=`X[{e Px∞≥`X[{eλ0xβ]`X[{dp⊂x≥`X[{dWpx
=`X[{d?Px ≥`X[{d'0x≥`X[{d∂⊂xλ≥`X[{cvpx≥`X[{c↑Pxα⎇`X[{cF0x∧]`X[{c.⊂xπ⎇`X[{c∃px∂≥`X[{b⎇Pxπ⎇`X[{be0x
≥`X[{bM⊂x ]`X[{b4px≥`X[{b≤Px∞⎇`X[{b∧0xβ≥`X[{al⊂x≥`X[{aSpxβ≥`X[{a;Px≥`X[{a#0x≥`X[{a ⊂ β4@↓;80u`∩@X ∂`⊂λ∧α⊂∀mr;Y$εp7]dπ⊂2]∞W⊂7λ∞Fx≥λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
T(&PD¬P⊂⊗E∩∀∪Iu ⊂
λUλ*P)B+λ "H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
∀p"⊃+α-λ "H⊂ ¬∩H∀K∞v@4Xmα;Y$εp0[,V ⊂
F∩p_H ⊗⊂7]LRp⊂λ F(:λ∞W_⊂_.π2X-B:≠dπ 4→$εH7→∞V_:~-vp8≤M⊗p1Z.ε`2KDα*~ W⊂2H ↔⊂2H∞G87H∞ε`0].6H1≠ R4[LG(1]
⊗x7≤eb⊂∩
w82]LW⊂⊗≥
ε(<H
V(9→lR4[NFx⊂≠mf(⊂≠
⊗X2[∂∩1X-f 4Y ↔ 2H
⊗p2≥,7 4[mbp⊂λ
v(⊂≥m⊗`6~-f :XnB0Xl6x9→
⊗p3H∞Fx⊂≥
ε(⊂→Mv`6≠nvH7→dπ_1Z Vh2NDα⊂λ∧α∀⊂)d ⊂
∀h(∪ ∀()H¬∧p'U∧α@&∩*5 (λ "H∀H¬π⊂⊗D¬0∀J$α⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@&∩*5 (λ "H⊂
∞α∀⊂hE⊂⊂⊗E∩+
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@8λ "+
%∩H↔∃
ε(⊂~-f(8],⊗`4]∂∩!Q
"p&⊃*5_(λ W_:_,&`4\mε(9H∞F@0]∧π 4→$εh2X.7(9→%∧_'U)e ⊂⊗E∩2→,7⊂2X.6(9H ⊗_1[n& 4[Lr:≠dπ 4→$π82[
Bh3≠nVp2→,B3≥-f_:~-vp&⊃*5_(λ
⊗p⊂≥
ε(⊂~-f :XnFH7[Dπ_:→.α7YDπ 4→$π_1Z Vh2KDα*~ R0XMw02Z-f :XnFH7[Dπ_1Z Vh2H v(7→.&λ:→.23≠nW⊂⊂≠LW8⊂→mvλ6≤g$_0\lR~ Dα@$S*∧`$Q*2∀⊂)d ⊂
dx*λ¬∧`$TjE⊂⊗E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧h"S("-λ "H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ
b-
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
∀p"⊃+α-λ "H⊂ ¬∩H∀K∧α;Z
⊗_4λ∞v(⊂≤m⊗h8≠
⊗0<K∧ε(<≤ ⊗p2~-f8⊂≥
ε(⊂→ V04[M↔ 4[mg_⊂≠lb'∪ ∃_*∀¬B⊂∩)d "V¬B"T*Tλ& ∧ελ7→∧∧h"S("`⊂≥
sP⊂λ∧α⊂λ∧α* H6λ9Y$β_↔λ¬∧H&T DH"Tdα@ SHB∀∪ ∃_*∀∧¬P∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪(Th!λ¬∧_"∀D¬P∀H¬∧_"∀D¬P∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
T(&PD¬P⊂⊗E∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∃D¬P∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B∀∩)d "V∧¬P⊂⊗E∩_
%∩H↔λ∧¬ 4~.29Z-W6~,fH2\eB2↑∞ελ7→
⊗p3H d`$TjE⊗λ ∀p"⊃+α`⊂_-f ⊂∪(Th! ∧π 7H∧π ;[dεp2]dε87X-G_≥λ∧∧_0\lR→KF"p⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@ SHB∀∪ ∃_*∀∧¬P∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪(Th!λ¬∧_"∀D¬P∀H¬∧_"∀D¬P∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
T(&PD¬P⊂
λ4 )λ "H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧¬0⊂⊗E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ¬∧_ TD¬P∀H "H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧α@ QλCλ⊂
∀p"⊃+α∀⊂hE⊂⊂⊗E∩-
%∩_
%∩H⊗λ∧α⊂≥mεH1Z∧π82H ⊗80Z-b9Z-W6~,gH⊗λ∞W_4[Lr6~-f(0\Dελ9~.F@6Y.FH1K∧π 7NDα⊂λ∧α⊂λ∧α* Dα!X.6(⊂ ecλ↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
DH)U
α-
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4 )λ "H⊂
λ4 )λ "H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ
b-
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧_ TD¬P∀H "H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B_HεαH∀J%b⊂λ∧∧@7]lW02\Dπ 4~.20Yl⊗H7λ∞6H6\
FH3~,W_⊗λ∞W_4[Lr6~-f(0\Dελ9~.F@6Y.FH1K∧α⊂λ∞Fx≥wαv}x1πN∂0xε=`X[{l Px≥`X[{kq0x =`X[{kY⊂x ≥`X[{k@px≥`X[{k(Px∞]`X[{k⊂0x∞=`X[{jx⊂x∞≥`X[{j←px
=`X[{jGPx ≥`X[{j/0x =`X[{j↔⊂xπ]`X[{i}px
=`X[{ifPx∞]`X[{iN0x
=`X[{i6⊂x
]`X[{i≥px≥`X[{i¬Px =`X[{hm0xλ≥`X[{hU⊂x
≥`X[{h<px ]`X[{h$Px≥`X[{h 0x∞=`X[{gt⊂xπ=`X[{g[px≥`X[{gCPxα]`X[{g+0x≥`X[{g∪⊂xπ⎇`X[{fzpx ]`X[{fbPxλ≥`X[{fJ0x
≥`X[{f2⊂x ]`X[{f→px≥`X[{f↓Px∞≥`X[{ei0x∧≥`X[{eQ⊂x≥`X[{e8pxα⎇`X[{e Px∧]`X[{eλ0xπ⎇`X[{dp⊂x ]`X[{dWpx ]`X[{d?Px ⎇`X[{d'0x ]`X[{d∂⊂x∞⎇`X[{cvpx≥`X[{c↑Px∞=`X[{cF0x≥`X[{c.⊂xβ≥`X[{c∃px≥`X[{b⎇Pxα⎇`X[{be0xλ=`X[{bM⊂x
≥`X[{b4px
=`X[{b≤Px
]`X[{b∧0x ]`X[{al⊂x≥`X[{aSpx∞⎇`X[{a;Px↓⎇`X[{a#0x≥`X[{a ⊂ βH ↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ
Bp!X.6(⊂ Eb∀∩)U&∩(U_⊂
λ∀p"λ¬∧`$TjE⊂⊗E∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B+λ¬∧_"∀D¬P∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪(Th!λ "-
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B+λ "H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧α@$SHD(,λ "-
$β∀J%∩`⊂λ∞v@4Xmα;Y$π_4[.ε`4YO∩`⊂≥-f07[ FH7→d∧p&∩*5 ( ∧∧H'⊃λU@⊗λ ⊗p2λ T(&PEB:≠dα:≥mr7→.r1[mfP2XnG(9→.3P⊂λλ6λ9Y$β⊂↔ Eb⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧λ'⊃∧α@&∩*5 (λ "H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧h"S("-λ¬∧_"∀D¬P∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B∀⊂hE⊂⊂⊗E∩-
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
λ4λ)λ "H⊂⊗E∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ¬∧λ"⊃ε∩∀∩)d "V∧α@!Q
"-
$¬P∀J$β∀J%∩p⊂λ∧α$≠nv(;→.":~
↔_⊂_,vλ4[Dπ_4[.ε`4YM⊗(9K∧π(9Z-f8⊂≠
⊗p2X."0\M↔ 4≠,W 4XeB⊂λ∧π 7NDα⊂λ∧α⊂λ∧α* Dα!X.6(⊂ Ecλ↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
DH)U
α-
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ¬∧_"∀D¬P∀H "H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀⊂h∃⊂⊂⊗E∩-
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λε∩_
%∩H⊗λ∧α⊂≥mεH1Z∧π82H ⊗80Z-b9Z-W6~,gH⊗λ∞W_4[Lr6~-f(0\Dελ9~.F@6Y.FH1K∧π 7NDα⊂λ∧α⊂λ∧α* H6λ9Y$βλ↔λ¬∧H&T DH"Tdα⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧`$TjE⊂⊗E∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧α@$SHD(,λ¬∧_"∀D¬P∀H¬∧_"∀D¬P∀J$β∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧h"S("-λ "H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B+λ "H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
∀p"⊃+α-λ "H⊂ ¬∩H∀KDα*~
↔_⊂≤m⊗h8≠
⊗04Y.2`⊂≥-f07[ FH7→dπ 4→$ε 2YM⊗p4]
⊗x7≤dεx3λ d`$TjE⊗λ∧∧H'⊃λU@⊗λ ⊗p2λ T(&PEB:≠dπ 4→$ε07[
Fx;Z-f8⊂≥∞vx⊂≠LW8⊂→Mw⊂6]-Fλ9NDα!X.6(⊂ %c⊂↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧λ'⊃∧α@&∩*5 (λ "H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B∀∩)d "V∧α@!Q
"-
$α@!Q
"-
%∩_
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&Q)T⊂⊂⊗Dα@!Q
"-
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧¬0⊂⊗E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B∀⊂h∃⊂⊂⊗E∩-
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧α@ QλCλ⊂
∀p"⊃+α∀⊂hE⊂⊂⊗E∩-
%∩_
%∩H↔λ∧α⊂∃
εH9H∞6H6\
FH3~,W_⊂_,vλ4[EB:\m⊗p3H
FH7→,↔⊂⊂_.&H:~
V(:~,2`⊂≥
sP⊂λ∧α⊂λ∧α⊂λ
Bp⊂λλ6λ9Y$βλ↔ %b⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()@wαv}x1πN∂0xβ≥`X[{l Px≥`X[{kq0xπ⎇`X[{kY⊂x ⎇`X[{k@pxλ≥`X[{k(Px
≥`X[{k⊂0x ]`X[{jx⊂x≥`X[{j←px∞]`X[{jGPx¬]`X[{j/0x≥`X[{j↔⊂xα⎇`X[{i}px∧]`X[{ifPxπ⎇`X[{iN0x ]`X[{i6⊂x =`X[{i≥px ]`X[{i¬Px∞⎇`X[{hm0x≥`X[{hU⊂x∞⎇`X[{h<px↓⎇`X[{h$Px≥`X[{h 0xβ≥`X[{gt⊂x≥`X[{g[pxα⎇`X[{gCPxλ=`X[{g+0x ⎇`X[{g∪⊂x
]`X[{fzpx ]`X[{fbPx≥`X[{fJ0x∞=`X[{f2⊂x≥`X[{f→pxβ≥`X[{f↓Px≥`X[{ei0x∧≥`X[{eQ⊂xπ=`X[{e8px∞⎇`X[{e Pxπ]`X[{eλ0x ]`X[{dp⊂x ≥`X[{dWpx≥`X[{d?Px
⎇`X[{d'0x
=`X[{d∂⊂x≥`X[{cvpxα⎇`X[{c↑Px∧]`X[{cF0xπ=`X[{c.⊂x∞⎇`X[{c∃px ≥`X[{b⎇Px =`X[{be0x ≥`X[{bM⊂x∞=`X[{b4px≥`X[{b≤Px
⎇`X[{b∧0x≥`X[{al⊂xβ≥`X[{aSpx≥`X[{a;Pxα⎇`X[{a#0x∧]`X[{a ⊂ β¬ ↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@ SHB∀∪ ∃_*∀∧¬P∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
∀p"⊃+α∀⊂hE⊂⊂⊗E∩∀⊂hE⊂⊂⊗E∩H⊂ ¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B+λ "H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀⊂h∃⊂⊂⊗E∩-
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λε∩_
%∩H↔λ∧α⊂∩
w82]LW⊂⊂≥
εH9H∞6H6\
FH3~,W_⊂_,vλ4[EB:\m⊗p3H
FH7→,↔⊂⊂_.&H:~
V(:~,2`⊂λ∧α:≠g"⊂λ∧α⊂λ∧α⊂∃¬b⊂λ∧α*~ ↔ ⊂→M⊗p4\mε(9H∞F@2H∞π⊂7[lb7YDαP_KF∩`⊂≥mεH1Z∧ελ6≤mr3~-fH9Z W_:~ R8≤Mvx3λ
v0⊂
F∩p⊂λ
∩p"KHBp-L&∪⊂~∞∧ε_7≤dαx⊂
F∩p≤H∞2∃Hεαp_λ v_⊂
dβλ→KFr4[dα@≡Hεs8⊂⊂∧βλ∀W(dx'H+t "QIb@$Tj∧()∪$α@*J$α⊂λ∧α⊂λ∧α⊂λ∧α@$QDα@'∪ ∃_*∀∧¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ
B⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊂)d ⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$α@!Q
"*J%∩H∀J$α⊂λ∧¬ 4→$ε`2[-Vλ⊂⊂hE⊂↔∪λU_)T∧ε_0[Dε⊂2H∞W_2Y∧π 7H∞π⊂7]LR:~ ↔ ∀⊂iu('∃∧¬(∀H F(1\LVλ9Y.20Xl6x9→
⊗p3H∞Fx⊂≥
ε(⊂≥lV`6 ,fx:[LF(2λ g(7_nFH7[ID()Tjα4[Dε(0Xmα9→,7(9≤m↔02H 6λ6≠¬b⊂∩ Vp1Y%B$Tj∧()∪$εH9H ⊗_1Y.π 2Y∞Vp2→.":~ R2→,fH7~.FH7[L⊗`⊂≤∞&H7_m↔6→%b⊂⊃N&x6H∞F@2H F(3~-fH:~-vp⊂≥lV_0[Dε_7[L6`:Y R:~ ↔ ≥λ∧α⊂λ∧α@'TDα@#⊂)E_"T∧α@$Tj∧()∪$¬(∀J$α⊂λ∧α⊂λ∧α∀∃
%("T∧α@$Tj∧()∪$¬(∀J%⊗H9H ∩:~ Vx9→-Rp-LF3(_H 6p9H¬r≠KGα9H¬2_ Fα3XdαX⊂ Gα4[dα@≡Hπ∩ λε∩H.R*5"TIRλ/QλT0'
D('묬@∀H∧α⊂λ∧α⊂λ∧α@$QDα@'∪ ∃_*∀∧¬@∀H∧α⊂λ∧α⊂λ∧α⊂λ∧β⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧λ"⊃ε∩∀∪λTp⊂
λ4 )λ αH∀J%∩H⊂λ∧α⊂∃
ε(⊂≠ Vh6X$∧_"∀Ed`"Tj5⊂_l⊗p⊂_LR:\lV ⊂≥
r9Z
w8⊂≥
ελ:λ¬∧_'U)e ⊂⊗¬⊗ 2Xn&(0\lW_⊂_,6_7\LFH7→dπ 7H∞F@2H∞v(6≠¬V07]-f 2Y∧ε0:[L7 4[mb&⊃*5_(λ
⊗p2X,6@⊂≤LV_:\N6H;→$ε_0[
Bp⊂λ ε(7_lR`⊂∪λTp⊂~.20Xl6(8≥ V ⊂≥-f 2\Dπ 4→.π⊂4[L6H8≠ R7YDε 2YM⊗p4]
⊗x7 Dα#≤Mvh⊂≥
ε(⊂→ V04[M↔ 4[mb;Y$ε_0[L6x7_mG(2→$π 4_.B∀∪JTh!⊃*%⊂
D('λ αH∀H
↔_⊂_$π 4→-w⊂2[%eX≤Mgα1[N2↔HεBp_H∞2∃Hεαp_λ v_⊂
dαp≠λ
⊗x⊂
πR~Hλα_J+T`"SD∃x(∀Iu0"KID(&S(∩@#∪is⊂⊂
$(+TI∃ "J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ
RH⊂∪E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR*J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*S($()∀∧∧p∀@wαv}x1πN∂0xπ=`X[{l Px∞⎇`X[{kq0x =`X[{kY⊂x ]`X[{k@pxλ]`X[{k(Px≥`X[{k⊂0x∞⎇`X[{jx⊂x↓⎇`X[{j←px≥`X[{jGPxβ≥`X[{j/0x≥`X[{j↔⊂x≥`X[{i}px∞=`X[{ifPxε≥`X[{iN0x≥`X[{i6⊂x ]`X[{i≥px⎇`X[{i¬Px=`X[{hm0x≥`X[{hU⊂x∧≥`X[{h<pxε⎇`X[{h$Px∧]`X[{h 0x ]`X[{gt⊂x
=`X[{g[px ]`X[{gCPx∞]`X[{g+0x∞≥`X[{g∪⊂x∞=`X[{fzpx∧]`X[{fbPxπ=`X[{fJ0xπ=`X[{f2⊂xβ=`X[{f→px≥`X[{f↓Px≥`X[{ei0x≥`X[{eQ⊂x =`X[{e8px↓]`X[{e Px=`X[{eλ0x≥`X[{dp⊂xβ=`X[{dWpxε≥`X[{d?Pxβ⎇`X[{d'0x ≥`X[{d∂⊂x∞⎇`X[{cvpx∞=`X[{c↑Px
]`X[{cF0x
≥`X[{c.⊂x =`X[{c∃px≥`X[{b⎇Px≥`X[{be0x≥`X[{bM⊂x ≥`X[{b4px⎇`X[{b≤Px=`X[{b∧0x≥`X[{al⊂xε⎇`X[{aSpx∞]`X[{a;Px
]`X[{a#0x
⎇`X[{a ⊂ αv ↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B'λεαH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬(⊂
e $λ
R'
%∩'
%∩H*~
↔_⊂→Mw⊂6]-Fλ⊂_l⊗p⊂_LR9Z-W6~,fH2Y¬B:\m⊗p3H∞F@2H ⊗⊂1≤LW04X.FH7[N2'∪jB` SHB`⊂_-f ⊂∩)U&∩(U_⊗λ∞Fx≥λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂∃%∩'
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
e(&PHU⊂(λ bH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B'λεαH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬(⊂
e $λ
R'
%∩'
%∩`;Z
⊗_4λ∞v(⊂≥m⊗`6λ
fλ6Y$αP_KDα⊂λ∧∧`2]∧π(9H ↔8→,⊗`⊂≥
r:~ R4[LG(1]
⊗x7λ∞π⊂4[L6H8≠ Rp⊂λλfH;→-⊗p2≥,7 4[mg_⊂_.&(⊂≤nV83Y.7 2Y∧ε⊂<H∞F(9≠.24[Dπ 4→$ε_7[M&(1]∞W⊂2KIεx;Y.f(9 ∧π 4→/∩6Y.&82H
⊗p:≠dεx7→$ε`4ZlV`<H 6λ7→
⊗ 0] R4[LG(1]
⊗x7 Jv(⊂≥m⊗`6λ
⊗p2≥,7 ⊂_,6_7\LFH7→dπ 7H∞F@2H fx6≠
w84[Lr9Xmε(6Y'"⊂λ∧α⊂
λ∀p"λ¬∧H&T DH"Tdα@'∪jB∀∪JTh!⊃*%⊂∪E∩H⊂
∞α*H bH∀H∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λUλ*P)B'λεαH⊂
∞α*H bH∀H∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧p*S($()∀∧∧p∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ b_
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀≤∧α@!Q
"*J$α@)U(#λ⊂∪E∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∞α*H bH∀J%e 4→$εH7→.↔(0[
↔ <H
5(! %d`"Tj5⊂→.7 0XMFH9Z W_⊂≥
ελ:λ∞F@2H
V(0\nW⊂2Jλ4x*SJB'
$ε 2Xn&(0\lW_⊂_,6_7\LFH7→dπ 7H∞F@2H∞v(6≠¬V07]-f 2Y∧ε0:[L7 4[md`"Tj5⊂~-b:~ R4[LG(1]
⊗x7λ∞7 2\∧εx3λ∞F@2H∞6_4→-V(↔λ∧∧p7] R`⊂~
w82]LW⊂⊗≥
ε(⊂~-f :XnFH;→$εH7≤nFλ7_lR1Z
w_2[Dε07\D¬(↔λ∧¬ 4→$ελ1≠nf(⊂~-f :XnFH7[N6_4→-V(⊂→lVp2\L↔ 2\dπ 4→$ε07[
Fx;Z-f8⊂→Mw(9λ
f(;H vx0[∞3P!X.6(⊂
¬b∀∩)U&∩(U_⊂
λ∀p"λ¬∧`"Tj5⊂
D('⊃jD@⊂
λ4 )λ
RH∀H¬¬_*PF∩'
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂∃%∩'
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂∃%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
e(&PHU⊂(λ bH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ b_
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬(⊂
e $λ
R'
%∩'
%∩p⊂λ
F@4\dπ_4[.ε`4YM⊗(9K∧ελ8≤
GH4[Lr!Q
"p'∪ ∃_*∀¬B0[LB2↑∞ελ7→
⊗p3H∞F@2H∧ε 2YM⊗p4]
⊗x7≤dεx3λ e $ ∧∧p&∩*5 ( ∧∧H)TλU⊂&K∧∧`"SHu $ ∧∧((U(∀`⊗λ ⊗p2λ∧∧`"Tj5⊗λ∞Fx⊂→Mw(9λ
f(;H 6x7~LV_:≥.&(9NDα!X.6(⊂
¬c ↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
dx*λ¬∧((U(∀`⊂
5(! $∧p∀HεαH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`$TjE⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
D()Tjα_λ bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂
λ4 )λ
RH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
e(&PHU⊂(λ bH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B'λεαH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβλ∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α*H¬∧p*∩∧α@!Q
"*J$α@)U(#λ⊂∪E∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p∀J%b⊂λ∧∧⊂:]∧π 4~.20Yl⊗H7λ∞6H6\
FH3~,W_⊗λ∞W_4[Lr6~-f(0\Dελ9~.F@6Y.FH1K∧π 7NDα⊂λ∧α⊂λ∧α* Dα!X.6(⊂
¬c_↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*0wαv}x1πN∂0x ]`X[{l Px∞]`X[{kq0x∂≥`X[{kY⊂x¬=`X[{k@px≥`X[{k(Px ]`X[{k⊂0xπ]`X[{jx⊂xπ⎇`X[{j←px ]`X[{jGPx ]`X[{j/0x≥`X[{j↔⊂x¬]`X[{i}px≥`X[{ifPx≥`X[{iN0x
≥`X[{i6⊂x
≥`X[{i≥px∞≥`X[{i¬Px =`X[{hm0x ]`X[{hU⊂x
≥`X[{h<px ≥`X[{h$Px
]`X[{h 0x ]`X[{gt⊂xπ]`X[{g[px
]`X[{gCPx∞]`X[{g+0x∞]`X[{g∪⊂x∞=`X[{fzpx ]`X[{fbPx≥`X[{fJ0x
⎇`X[{f2⊂x ≥`X[{f→pxλ≥`X[{f↓Pxλ=`X[{ei0x
≥`X[{eQ⊂x ≥`X[{e8px≥`X[{e Px∞=`X[{eλ0x∞≥`X[{dp⊂xλ=`X[{dWpx≥`X[{d?Pxα⎇`X[{d'0x ≥`X[{d∂⊂x ⎇`X[{cvpx
=`X[{c↑Px
≥`X[{cF0x
≥`X[{c.⊂xλ⎇`X[{c∃px
=`X[{b⎇Px
]`X[{be0x∞]`X[{bM⊂xπ]`X[{b4px≥`X[{b≤Px∞⎇`X[{b∧0x≥`X[{al⊂xβ≥`X[{aSpx≥`X[{a;Pxα⎇`X[{a#0x∧]`X[{a ⊂ ∧β`↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊂)d ⊂
D()Tjα∀∪λTp#U α∀⊂hE⊂⊂∃%∩H⊂
5(! $∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&∩*5 (λ
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
λ∀ " $α@&⊃)d8*∩∧α@!Q
"*J%∩H⊂∪E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H¬∧_"∀D¬(∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃)T⊂"TJα'
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ ¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβλ∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧H'⊃λU@⊂∃$α@'∃ α∀⊂hE⊂⊂∃%∩∀∀jT⊂_H bH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂∪E∩H⊗λ∧α⊂≥mεH1Z∧π82H ⊗80Z-b9Z-W6~,gH⊗λ∞W_4[Lr6~-f(0\Dελ9~.F@6Y.FH1K∧π 7NDα⊂λ∧α⊂λ∧α* Dα!X.6(⊂
¬c⊂↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
dx*λ¬∧((U(∀`⊂
5(! $∧p∀HεαH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`$TjE⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
D()Tjα_λ bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂
λ4 )λ
RH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂∪Dβλ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬(⊂
λ4λ)λ
RH∀H bH∀KDα⊂λ εx;Y.f(9λ∞F@4\dελ3X-⊗p⊂≤m⊗h8≠
⊗04Y.2`⊂≥.6H7→dε`4[LVλ9λ ↔⊂4]
εh2]
⊗_⊗λ∧α⊂≥
sP⊂λ∧α⊂λ∧α⊂λ
Bp⊂λλ6λ9Y$β ↔ %b⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧`"Tj5⊂
D('⊃jD@⊂
λ4 )λ
RH∀H¬¬_*PF∩'
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪ ∃_*∀∧¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧λ"⊃ε∩∀∪λTp#U α∀⊂hE⊂⊂∃%∩H∀H bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4λ)λ
RH⊂
λ4 )λ
RH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$α@!Q
"*J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B'λεαH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂∪Dβλ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α*H¬∧_ TD¬(∀J$∧p∀J%B⊂λ∧π84~,6@⊂≥lR0Yl⊗H7λ∞6H6\
FH3≡%B:\m⊗p3H
FH7→,↔⊂⊂_.&H:~
V(:~,2`⊂≥
sP⊂λ∧α⊂λ∧α⊂λ
Bp!X.6(⊂ eb∀∩)U&∩(U_⊂
λ∀p"λ¬∧p'U∧α@$Tj∧()∪$α@!Q
"*J%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ
RH⊂∪E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*S($()∀∧∧p∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ ¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α*H¬∧p*∩∧¬(⊂∪E∩H⊂∪E∩H⊗λ∧π84~,6@⊂≥lR9Z-W6~,gH⊗λ W@8_-f 4[Lr'∪ ∃_*∀¬B$SHD(, ∧∧H)TλU⊂&K∧α&⊃)d8*∩¬B"T*Tλ& ∧ελ7→∧∧`"Tj5⊗λ∞Fx≥λ∧α⊂λ∧α⊂∃¬d_0\lR→ Dα@$S*∧`$Q*2∀⊂)d ⊂
λUλ*P)B∀∀jT⊂_H bH⊂ ¬∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂∃%∩'
%⊂wαv}x1πN∂0x
]`X[{l Pxπ]`X[{kq0x∂≥`X[{kY⊂x =`X[{k@px =`X[{k(Pxλ≥`X[{k⊂0x ]`X[{jx⊂x ⎇`X[{j←px
⎇`X[{jGPxε⎇`X[{j/0x≥`X[{j↔⊂x∞=`X[{i}px≥`X[{ifPxβ≥`X[{iN0x≥`X[{i6⊂xα⎇`X[{i≥px ≥`X[{i¬Px ⎇`X[{hm0x
=`X[{hU⊂x
≥`X[{h<px
≥`X[{h$Px
=`X[{h 0x ≥`X[{gt⊂x ≥`X[{g[px≥`X[{gCPx∞⎇`X[{g+0x↓⎇`X[{g∪⊂x≥`X[{fzpxβ≥`X[{fbPx≥`X[{fJ0xα⎇`X[{f2⊂x∧]`X[{f→px
]`X[{f↓Pxπ]`X[{ei0x∂≥`X[{eQ⊂x =`X[{e8px =`X[{e Px ]`X[{eλ0xλ=`X[{dp⊂x =`X[{dWpx≥`X[{d?Px∞=`X[{d'0x≥`X[{d∂⊂xβ≥`X[{cvpx≥`X[{c↑Px ≥`X[{cF0x ≥`X[{c.⊂xλ≥`X[{c∃pxλ=`X[{b⎇Px
≥`X[{be0x ≥`X[{bM⊂x≥`X[{b4px
=`X[{b≤Pxπ⎇`X[{b∧0x≥`X[{al⊂xα]`X[{aSpx≥`X[{a;Px
≥`X[{a#0x ≥`X[{a ⊂ β@`↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*S($()∀∧∧p∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ ¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α*H¬∧p*∩∧¬(⊂∪E∩H⊂∪E∩H↔λ∧∧λ8≤ Vλ6~-f8⊂≥
r:~ R6→-Vh0H
5(! %d(&∩)R`⊂≤LW6_,6(⊂∪Dε⊂<H¬∧λ"⊃ε∩,
$α:≠dε(6~-VH7_.F(⊂
5(! $∧p∀KDα+Y$π(9Y$π 4→$π <\ R9→.7 9~,7 4[mb6→-Vh0H∧εp7] V ⊂≥mε(7λ
5(! $π80\dεH7≥∞&x2≥,6(2λ∞Fx⊂_mvp9]∞&λ4[Dπ 4→$εp2]dα;_.&H0XMF(↔λ∧¬82H∞vx:[ B:~∞W_⊂≠
⊗X2H∞Fx⊂≤∞&x;→'"⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
e(&PHU⊂(λ αH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂⊗∧β∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪λU_)T∧α@&⊃)d8*∩∧¬(∀H¬∧λ"⊃ε∩,
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ¬∧λ"⊃ε∩,
$β∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@$SHD(,λ
R∀∪JD@⊂∃$α@ QλCλ⊂⊗¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀ " $¬@∀J%∩`⊂λ∞v@4Xmα;Y$π_4[.ε`4YO∩`⊂≠nε(7~-f8⊂≥.α:~ R3≥-f_:~-vp9H e(&PHU⊂( ∧α"T*Tλ& ∧∧p*∩¬B'∪ ∃_*∀¬B$SHD(, ∧∧H)TλU⊂&K∧∧`"SHu $ ∧ελ7→∧∧`"Tj5⊗λ∞Fx≥λ∧α⊂λ∧α⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@'∪jB∀∪λU_)T∧α@&⊃)d8*∩∧¬(∀Hε∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬(∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λε∩_J%∩p⊂λ
F@4\dπ_4[.ε`4YM⊗(9H ⊗80Z-b`⊂≥.6H7→dε`4[LVλ9λ ↔⊂4]
εh2]
⊗_⊗λ∞Fx≥λ∧α⊂λ∧α⊂∃¬d_0\lR_KDα@$S*∧`$Q*2⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧((U(∀`⊂
∀p"⊃+α∀⊂hE⊂⊂∃%∩∀∪JD@⊂
λ4 )λ
RH⊂
5(! $∧p∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
5(! $∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂∃%∩'
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃)T⊂"TJα'
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβ∀J%∩⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬(⊂
e $λ
R'
%∩'
%∩`⊂λ∞v@4Xmα;Y$π_4[.ε`4YO∩`⊂_.π6≡-⊗p3H∞F@2H
F(6[,∩!Q
"p'∪ ∃_*∀¬B0[LB⊂≠nε(7~-f8⊂≥.α:~ R3≥-f_:~-vp9H e $ ∧∧p&∩*5 ( ∧∧H)TλU⊂&K∧∧`"SHu $ ∧α"T*Tλ& ∧∧`"Tj5⊗λ ⊗p2λ ∀p"⊃+α`⊂≥
r3≠nW⊂⊂≠LW8⊂_mvp5→,7 :\LW_≥λ∧∧_0\lR_KFBp⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα@ SHB∀⊃*∃( S∧β⊂
5(! $∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&∩*5 (λ
RH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂ ∧∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4λ)λ
RH⊂
λ4 )λ
RH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H¬∧_"∀D¬(∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*S($()∀∧∧p∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ b_J%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧H'⊃λU@⊂∃$α@'∃ α∀⊂hE⊂⊂∃%∩∀∀jT⊂_H bH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α'
%∩`⊂λ∧α;Z
⊗_4λ∞v(⊂_,vλ4[Dπ_4[.ε`4YO∩`⊂≥.6H7→dε`4[LVλ9λ ↔⊂4]
εh2]
⊗_⊗λ∞Fx≥λ∧α⊂λ∧α⊂λ∧¬ ↔λ∧∧_0\lR_KF2pwαv}x1πN∂0xλ≥`X[{l Pxλ=`X[{kq0x
≥`X[{kY⊂x ≥`X[{k@px≥`X[{k(Px∞=`X[{k⊂0x∞⎇`X[{jx⊂x
=`X[{j←px
=`X[{jGPx≥`X[{j/0xλ=`X[{j↔⊂xλ=`X[{i}px
⎇`X[{ifPxλ≥`X[{iN0x ⎇`X[{i6⊂x ]`X[{i≥pxλ⎇`X[{i¬Px≥`X[{hm0x
]`X[{hU⊂x∞⎇`X[{h<px≥`X[{h$Px ≥`X[{h 0xλ=`X[{gt⊂xπ]`X[{g[px≥`X[{gCPx
=`X[{g+0x≥`X[{g∪⊂xα]`X[{fzpx≥`X[{fbPx∧≥`X[{fJ0x∂≥`X[{f2⊂xπ⎇`X[{f→px
=`X[{f↓Pxε=`X[{ei0xε]`X[{eQ⊂xλ=`X[{e8px
=`X[{e Px≥`X[{eλ0x
⎇`X[{dp⊂x
⎇`X[{dWpx ⎇`X[{d?Px≥`X[{d'0xα⎇`X[{d∂⊂x
]`X[{cvpx ⎇`X[{c↑Px
=`X[{cF0x
≥`X[{c.⊂x
≥`X[{c∃pxλ⎇`X[{b⎇Px
=`X[{be0x
]`X[{bM⊂x∞]`X[{b4pxπ]`X[{b≤Px≥`X[{b∧0x∞=`X[{al⊂x≥`X[{aSpxβ≥`X[{a;Px≥`X[{a#0xα⎇`X[{a ⊂ βV↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα⊂λ∧α⊂λ∧α⊂
λ∀p"λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@$SHD(,λ¬∧_"∀D¬(∀H¬∧p*∩∧α@!Q
"*J$α@)U(#λ⊂∪E∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@)U(#λ⊂∪E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&∩*5 (λ
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪λU_)T∧α@ QλCλ⊂
D('⊃jD@⊂
λ4 )λ
RH∀J$∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR∀⊂hE⊂⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃)T⊂"TJα'
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβλ∀J%∩⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α*H¬∧p*∩∧α@!Q
"*J$α@)U(#λ⊂∪E∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧∧p∀J%b⊂λ∧∧⊂:]∧π 4~.20Yl⊗H7λ∞6H6\
FH3~,W_⊗λ ↔8≠∂⊗H7→d¬_*PF∩p QλCλ⊗λ ⊗p2λ∧α⊂≠nε(7~-f8⊂≥.α:~ R2→,fH7~.FH7[N27YD∧p&∩*5 ( ∧∧H'⊃λU@⊗λ ⊗p2λ D()Tjα`⊂λ∧α:≠dπ 4→$ε07[
Fx;Z-f8⊂≥∞vx⊂≠LW8⊂→mvλ6≤g"⊂λ∧∧_0\lR_KF2p→ Dα⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα⊂λ∧α⊂λ∧α⊂λ∧α@ SHB⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α∀⊂hE⊂⊂∃%∩∀∪JD@⊂
λ4 )λ
RH⊂
5(! $∧p∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
5(! $∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
DH)U
α*J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂
λ4 )λ
RH∀H¬¬_*PF∩'
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪(Th!λ¬∧_ TD¬(∀H¬∧_"∀D¬(∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H¬∧_"∀D¬(∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
e(&PHU⊂(λ bH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ ¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ %∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
λ∀ " $α@$SHD(,λ¬∧_"∀D¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*∩∧α@!Q
"*J$α@)U(#λ⊂∪E∩H∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ bH∀K∧α⊂λ∧α;Z
⊗_4λ ⊗80Z-b9Z-W6~,fH2\eB:\m⊗p3H
FH7→,↔⊂⊂_.&H:~
V(:~,2`⊂≥
sP⊂λ∧α⊂λ∧α⊂λ∧α* Dα⊂λλ6λ9Y$βλ↔ ecλ↔λ∧α⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H∧α⊂λ∧α⊂λ∧α⊂λ¬∧λ'⊃∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧α@!Q
"*J$α@'∃ α∀⊂hE⊂⊂∃%∩∀∀jT⊂_H bH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∀jT⊂_H bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪ ∃_*∀∧¬(∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
D()Tjα∀∪λTp#U α∀⊂hE⊂⊂∃%∩H⊂
5(! $∧p∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4λ)λ
RH⊂
λ4 )λ
RH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂
λ4 )λ
RH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪JTh!⊃*%⊂∪E∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ b_
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ b_J%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂
λ4λ)λ
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
e $λ¬∧_"∀D¬(∀H¬¬_*PF∩'
%∩H∀J%b⊂λ∧α⊂⊂.π2X-FH7→dπ 7H∞F@2H
F(6[,∩!P*"x!Q
"p"S ∀h⊗λ∞v(⊂≠Mw8⊂≤LW6_,6(⊂∃$α⊂λ∧α1≡$α@!Sie_⊂⊗D¬@∀H∞Fx⊂→-FH6Z-fλ:→$α@!Q
"*J$ελ7→∧α@!P*"*J%b⊂∃
εH9H∧α⊂λ∧π9≠lG(1Y.3P⊂λ∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧((U(∀`⊂
∀p"⊃+α,λ¬∧p*∩∧¬@⊂
5(! $∧p∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∀jT⊂_H bH∀@wαv}x1πN∂0x∧]`X[{l Pxβ⎇`X[{kq0x∂≥`X[{kY⊂xπ⎇`X[{k@pxε≥`X[{k(Px
]`X[{k⊂0x
⎇`X[{jx⊂xπ⎇`X[{j←pxε]`X[{jGPxλ≥`X[{j/0xλ=`X[{j↔⊂x ]`X[{i}px¬]`X[{ifPx≥`X[{iN0x
]`X[{i6⊂x∞⎇`X[{i≥pxλ⎇`X[{i¬Px≥`X[{hm0xβ⎇`X[{hU⊂x¬≥`X[{h<px∧=`X[{h$Px∂≥`X[{h 0xπ⎇`X[{gt⊂xε≥`X[{g[px
]`X[{gCPx
⎇`X[{g+0xπ⎇`X[{g∪⊂xε]`X[{fzpxλ≥`X[{fbPxλ=`X[{fJ0x
≥`X[{f2⊂x∞=`X[{f→pxε≥`X[{f↓Px≥`X[{ei0x∞]`X[{eQ⊂x≥`X[{e8pxβ]`X[{e Px≥`X[{eλ0xβ⎇`X[{dp⊂x¬≥`X[{dWpx∧=`X[{d?Px∂≥`X[{d'0xπ⎇`X[{d∂⊂xε≥`X[{cvpx
]`X[{c↑Px
⎇`X[{cF0xπ⎇`X[{c.⊂xε]`X[{c∃pxλ≥`X[{b⎇Pxλ=`X[{be0xλ≥`X[{bM⊂x ⎇`X[{b4px≥`X[{b≤Px∞⎇`X[{b∧0x∞⎇`X[{al⊂xβ⎇`X[{aSpx≥`X[{a;Px∞⎇`X[{a#0x
]`X[{a ⊂ βS ↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ αH⊂
5(! $∧p∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("-λ αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬@∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃)T⊂"TJα'
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B'λεαH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ %∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ "∀∪JD@⊂⊗∧α@)U(#λ⊂∪E∩H∀J%∩`⊂λ∧α⊂λ∞v@4Xmα3≥.' 4→."9Z-W6~,fH2\eB1[ Vλ9≠∂∩`⊂≥
sP⊂λ∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧((U(∀`⊂
∀p"⊃+α,λ¬∧p*∩∧¬@⊂
5(! $∧p∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∀jT⊂_H bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪λU_)T∧α@&⊃)d8*∩∧¬@∀H¬¬_*PF∩'
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
e $λ α∀∀jT⊂_H bH∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬@∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃)T⊂"TJα'
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
λUλ*P)B'λεαH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ b_J%∩p⊂λ∧α⊂λλ↔8→,⊗`4[Lr:≠dπ 4→$ε`2[-Vλ⊂∀jT⊂_KHT`$S%B9→.ε`0XlR'λ 'H⊂λ∧α⊂λ¬∧λ"⊃ε∩-
$π 7H V`4[-⊗p0] R∀∀jT⊂_H bH↔λ∧¬82H∞&(6≡$π(8≠mb:~ R⊂λ∧α⊂≥∂↔2H∞&(9]∞&H1]
⊗x7λ
F(6[,∩7≠nF(2λ∞v@2[D¬_*PF∩;X.24[NG⊂7Y∞V_2Y∧α⊂λ∧α:≠dπ⊂2\nG⊂4XnB:~ R7→.r;_.&H0XMF(↔λ∧¬82H∞F@:\dεx1≥ ⊗H7∞Dα⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα@ SHB∀∪JTh!⊃*%⊂⊗E∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬@⊂
e $λ α-
%∩-
$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
D()Tjα∀∪λTp#U α,
$¬P∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@'∃ α,λ "H⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H αH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λ¬∧λ"⊃ε∩-
$β∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@ QλCλ⊂⊗E∩_J%∩p⊂λ∧α⊂λ εx;Y.f(9λ∞F@4\dπ_4[.ε`4YM⊗(9H g(9≥
ε(9 ∧π⊂2]n&H:~-f8⊂≥m↔ 4λ∧α⊂λ∧∧λ"⊃ε∩p"T*Tλ& ∧ελ7→∧ε(<≤ ⊗p2~-f8⊂≥
ε(⊂→ V04[M↔ 4[mb7YD∧p*S($()∀¬B⊂λ∧α⊂≥
sP⊂λ∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧((U(∀`⊂
∀p"⊃+α,λ¬∧p*∩∧¬@⊂⊗E∩H⊂⊗E∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂⊗¬∩-
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀∪JD@⊂⊗∧¬P∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ "_
%∩p⊂λ∧α⊂λ
v(⊂≥.6(⊂≥
ε(⊂_,&x;→$ε(8],⊗`4]∂∩4≡.εx:~ W_4\dε⊂<H∞7(1≤nFH:≥.FH7→dα⊂λ∧α∀∩)d "V∧¬@⊂
e $λ α-
%∩3≠n"-λ ⊗p2λ∞F@9≠nvH7→dελ;X/∩:~ R⊂λ∧α⊂→.↔(0[
↔ <KDα*~
↔_⊂→lVp2\L↔ 2\dπ 4→$εp2]dε87X-CP⊂λ∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ αH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H'⊃λU@⊂⊗∧α@'∃ α,λ "H∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀∪JD@⊂⊗∧α@$SHD(,λ α∀∪JD@⊂⊗∧¬P∀J%∩,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬@⊂
e $λ α-
%∩_
%∩p⊂λ∧α⊂λ
v(⊂≥m⊗`6λ∞G⊂<H∞Fx⊂≤∞&x;→$π 4→$ελ1≠nf(⊂→Mw⊂6]-Fλ⊂_O∩⊂λ∧α⊂→lVp2\L⊗`4↑M⊗p3H
↔ ⊗λ∞&(8≠ ⊗_4[Lr∀∪JD@⊂⊗∧¬P∀H 'H⊂⊗%b⊂∃lR;[nV`2λ∧α⊂λ∧π 4≥.26~-6(⊂≥
r8≤Mw02NDα⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ αH⊂
∀p"⊃+α,λ ∩H∀J wαv}x1πN∂0x∞⎇`X[{l Px
]`X[{kq0x ≥`X[{kY⊂x =`X[{k@px
⎇`X[{k(Px ≥`X[{k⊂0x
⎇`X[{jx⊂x≥`X[{j←px ≥`X[{jGPx≥`X[{j/0x∞⎇`X[{j↔⊂x
]`X[{i}px∞⎇`X[{ifPx∞=`X[{iN0x ≥`X[{i6⊂x =`X[{i≥px ≥`X[{i¬Pxλ]`X[{hm0x≥`X[{hU⊂x
≥`X[{h<px
⎇`X[{h$Px∞⎇`X[{h 0x
≥`X[{gt⊂x≥`X[{g[px =`X[{gCPx
⎇`X[{g+0x
≥`X[{g∪⊂x ]`X[{fzpx ≥`X[{fbPx ⎇`X[{fJ0x
=`X[{f2⊂x≥`X[{f→px
=`X[{f↓Px∞]`X[{ei0xα=`X[{eQ⊂x≥`X[{e8px
⎇`X[{e Px
≥`X[{eλ0x ]`X[{dp⊂x =`X[{dWpxλ]`X[{d?Px≥`X[{d'0x∞]`X[{d∂⊂x
=`X[{cvpx =`X[{c↑Px≥`X[{cF0x¬≥`X[{c.⊂x
≥`X[{c∃px ⎇`X[{b⎇Px∂≥`X[{be0xπ=`X[{bM⊂x ≥`X[{b4px≥`X[{b≤Px ⎇`X[{b∧0x∞]`X[{al⊂xε=`X[{aSpx≥`X[{a;Px¬≥`X[{a#0x∂≥`X[{a ⊂ ∧,@↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@'∃ α,λ¬∧H'⊃λU@⊂⊗∧¬H∀J$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@$SHD(,λ α,J$β∀J%B⊂λ∧α⊂≥mεH1Z∧π82H v(7→.&λ6~/&(⊂_O∩9→.ε`0Xm⊗p3H¬∧H'⊃λU@⊂⊗∧¬H∀H 'H⊂⊂%b⊂λ∧α⊂∃lR9→.7 9~,7 ⊂≥
ε(⊂≠LW8⊂≥L↔⊂4X,&`2H 'H⊂≤LV_0[
FH7→dπ 4→$π <\ R⊂λ∧α⊂≤LW_:≤M⊗_:~-vp⊂≠ Vh6X$εp7] V ⊂≥mε(7λ ∀p"⊃+α;X.24[NG⊂7Y∞V_2Y¬b⊂λ∧α⊂∃
εH9H∞π⊂7Y∞V_2\g"⊂λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
e(&PHU⊂(λλ∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ αH⊂⊂%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
e $λ α J$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧∧λ⊂ ¬∩H↔λ∧α⊂λ∧∧04[L⊗`6≡$ε84]LR:~ R0XMw02H fx9≠.V`0H∞F@2H
fλ6Y$αP_KF∩p⊂λλ6λ9Y$βλ↔ Eb⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@"T*Tλ&λεα∀∀jT⊂_H bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`$TjE⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
D()Tjα_λ bH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂
λ4 )λ
RH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂∪Dβ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂∪Dβλ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B∀∩)d "V∧¬(⊂
λ4λ)λ
RH∀H bH∀KDα⊂λλ'(:λ∞F@4\dπ_4[.ε`4YM⊗(9H ⊗80Z-b`⊂≥.6H7→dε`4[LVλ9λ ↔⊂4]
εh2]
⊗_⊗λ∞Fx≥λ∧α⊂λ∧α⊂λ∧¬ ↔λ∧∧_0\lR_KF∩p⊂λ∧α⊂λ∧α⊂λ¬∧H&T DH"Tdα⊂λ∧α⊂λ∧α⊂
λ∀p"λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧α@$SHD(,λ¬∧_"∀D¬(∀H¬∧p*∩∧α@!Q
"*J$α@)U(#λ⊂∪E∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@)U(#λ⊂∪E∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&∩*5 (λ
RH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪λU_)T∧α@ QλCλ⊂
D('⊃jD@⊂
λ4 )λ
RH∀J$∧p∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂∃%∩∀⊂hE⊂⊂∃%∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR∀⊂hE⊂⊂∃%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀⊃*∃( S∧∧p⊂ ¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ b_J%∩⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂
∀p"⊃+α*H¬∧_ TD¬(∀J$∧p∀J%B⊂λ∧π84~,6@⊂≥lR0Yl⊗H7λ∞6H6\
FH3≡%B2↑∞ελ7→
⊗p3H d`$TjE⊗λ ∀p"⊃+α`⊂_-f ⊂λ∧α"T*Tλ& ∧π 7NDα⊂λ∧α⊂λ∧α* Dα⊂λ∧¬_7H∞v(⊂≠Mw8⊂≤LW :\Mb:≠g"⊂λ∧α⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@'∃)T⊂"TJα J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ αH⊂⊂%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@'∃ α,λλ∩H⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂⊂$β∀J%G84~,6@⊂~.23≠n&h:[ ∩∃ %cλ⊂_,&x;→%b⊂∀ W⊂4_.π_⊂≥lR1X-b8≤Mw02H
↔ ⊂_O⊂wαv}x1πN∂0x∞]`X[{l Pxλ⎇`X[{kq0x
]`X[{kY⊂x≥`X[{k@px∞≥`X[{k(Px∞≥`X[{k⊂0x∞≥`X[{jx⊂x¬≥`X[{j←px≥`X[{jGPx =`X[{j/0x
≥`X[{j↔⊂x ]`X[{i}px =`X[{ifPxλ]`X[{iN0x≥`X[{i6⊂x ⎇`X[{i≥px≥`X[{i¬Pxα⎇`X[{hm0x
]`X[{hU⊂x ⎇`X[{h<px
=`X[{h$Px
≥`X[{h 0x
≥`X[{gt⊂x
=`X[{g[px ≥`X[{gCPx ≥`X[{g+0x≥`X[{g∪⊂x∞⎇`X[{fzpx≥`X[{fbPxβ≥`X[{fJ0x≥`X[{f2⊂xα⎇`X[{f→px∧]`X[{f↓Pxβ⎇`X[{ei0x∂≥`X[{eQ⊂xπ⎇`X[{e8pxε≥`X[{e Px
]`X[{eλ0x
⎇`X[{dp⊂xπ⎇`X[{dWpxλ≥`X[{d?Pxε⎇`X[{d'0x
≥`X[{d∂⊂x≥`X[{cvpx∞=`X[{c↑Pxβ]`X[{cF0x≥`X[{c.⊂xβ≥`X[{c∃px≥`X[{b⎇Px≥`X[{be0xε=`X[{bM⊂x≥`X[{b4pxπ⎇`X[{b≤Px ]`X[{b∧0x ≥`X[{al⊂xπ⎇`X[{aSpxπ≥`X[{a;Px≥`X[{a#0x∞≥`X[{a ⊂ β1`↓;80u`∩@X ∂`4[LG(1]
⊗x7 Dα*~ W⊂2H ↔⊂2H fH;→$π6_.W_4XMF(⊂~-f :XnFH7[N2p⊂λ εx;Y.f(9 ∞F@2↑$εh2\Lv(⊂~-g 7H
vp2H
FH5Y-GH⊂_l⊗p2~,Fλ:→$εH7→∞V_:~-vp↔λ∧¬82H∞vH6≠
⊗p2≥,7 ⊂_,6_7\LFH7→dπ 7H∞F@2H fx6≠
w84[Lr9Xmε(6Y'"⊂λ∧α⊂
λ∀p"λ¬∧H&T DH"Tdα@'∪jB∀∪JTh!⊃*%⊂⊂%∩H⊂
∞α H αH∀H∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λUλ*P)B HεαH⊂
∞α H αH∀H∧α⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂
λ∀p"λ¬∧p*S($()∀∧∧λ∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λλ∩_
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀≤∧α@)U(#λ⊂⊂%∩∀⊂hE⊂⊂⊗¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∞α H αH∀J%e 4→$εH7→.↔(0[
↔ <H
5(! %d`"Tj5⊂→.7 0XMFH9Z W_⊂≥
ελ:λ∞F@2H
V(0\nW⊂2Jλ4x*SJB J$ε 2Xn&(0\lW_⊂_,6_7\LFH7→dπ 7H∞F@2H∞v(6≠¬V07]-f 2Y∧ε0:[L7 4[md`"Tj5⊂~-b:~ R4[LG(1]
⊗x7λ∞7 2\∧εx3λ∞F@2H∞6_4→-V(↔λ∧∧p7] R`⊂~
w82]LW⊂⊗≥
ε(⊂~-f :XnFH;→$εH7≤nFλ7_lR1Z
w_2[Dε07\D¬@↔λ∧¬ 4→$ελ1≠nf(⊂~-f :XnFH7[N6_4→-V(⊂≠ Vλ2≤dπ 7H fx:\Dεp2]dε87X-G_≥⊂l↔_2HεBp⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@&⊃*5_(λ¬∧`"SHu $λ¬∧_"∀D¬@∀J$α@)U(#λ⊂⊂%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*S($()∀∧∧λ∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪λU_)T∧α@&⊃)d8*∩∧¬@∀Hλ∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪(Th!λ¬∧p*∩∧¬@⊂⊂%∩,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B HεαH∀KDα*~
↔_⊂≤m⊗h8≠
⊗04Y.2`⊂_.π2X-FH7→dπ 7H∞F@2H
F(6[,↔_⊂⊂hE⊂↔∪IDH)U
α0[LB⊂⊂h∃⊂↔∪IDH)U
α`⊂_-f ⊂≠nε(7~-f8⊂≥.α:~ R2→,fH7~.FH7[N27YD∧p&∩*5 ( ∧α$Tj∧()∪%B'∃ α`⊂∪(Th! ∧∧`"SHu $ ∧∧((U(∀`⊗λ ⊗p2λ D()Tjα`⊂≥
r3≠nW⊂⊂≠LW8⊂λ fx9≠.V`0\g"⊂⊂l↔_2HεBp~ Dα⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧λ'⊃∧α@'∪jB∀⊃*∃( S∧α@)U(#λ⊂⊂%∩_
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p*S($()∀∧∧λ∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
DH)U
α,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λεα J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λλ∩_J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
e $λ¬∧_"∀D¬@∀H¬¬_*PF∩ J%∩,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4λ)λ αH⊂
λ4 )λ αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂
λ4 )λ αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧∧λ⊂ ¬∩H↔λ∧α⊂∃
εH9H ⊗80Z-b9Z-W6~,fH2\eB:\m⊗p3H
FH7→,↔⊂⊂_.&H:~
V(:~,2`⊂≥
sP⊂λ∧α⊂λ∧α⊂λ
Bp⊂λλ6λ9Y$β ↔ eb⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λ∀p"λ¬∧`"Tj5⊂
D('⊃jD@⊂
λ4 )λ αH∀H¬¬_*PF∩ J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪JTh!⊃*%⊂⊂%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪ ∃_*∀∧¬@∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧λ"⊃ε∩∀∪λTp#U α∀⊂hE⊂⊂⊗¬∩H∀Hλ∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@"T*Tλ&λλ∩_J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@'∃ α∀⊂hE⊂⊂⊗¬∩∀∀jT⊂_Hλ∩H∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4λ)λ αH⊂
λ4 )λ αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$α@!Q
",
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧∧λ⊂ ¬∩H↔λ∧α⊂∃
εH9H ⊗80Z-b9Z-W6~,fH2\eB:\m⊗p3H
FH7→,↔⊂⊂_.&H:~
V(:~,2`⊂≥
sP⊂λ∧α⊂λ∧α⊂λ
Bpwαv}x1πN∂0x∞]`X[{l Px∞≥`X[{kq0x
=`X[{kY⊂x ]`X[{k@px
≥`X[{k(Px ≥`X[{k⊂0x
]`X[{jx⊂x ]`X[{j←pxπ]`X[{jGPx
]`X[{j/0x∞]`X[{j↔⊂x∞]`X[{i}px∞=`X[{ifPxπ⎇`X[{iN0x≥`X[{i6⊂x
⎇`X[{i≥pxλ=`X[{i¬Px ≥`X[{hm0x ]`X[{hU⊂xλ=`X[{h<pxπ]`X[{h$Px≥`X[{h 0x∞=`X[{gt⊂x
⎇`X[{g[px∞]`X[{gCPxα⎇`X[{g+0x≥`X[{g∪⊂xα⎇`X[{fzpx∧]`X[{fbPx ⎇`X[{fJ0xλ]`X[{f2⊂x ]`X[{f→px
≥`X[{f↓Px
≥`X[{ei0x∂≥`X[{eQ⊂x ⎇`X[{e8px
≥`X[{e Pxπ⎇`X[{eλ0x≥`X[{dp⊂x
⎇`X[{dWpx≥`X[{d?Pxβ≥`X[{d'0x≥`X[{d∂⊂xα⎇`X[{cvpx∧]`X[{c↑Px
]`X[{cF0xλ≥`X[{c.⊂xπ]`X[{c∃px∂≥`X[{b⎇Px ]`X[{be0x∞]`X[{bM⊂x =`X[{b4px ]`X[{b≤Pxπ=`X[{b∧0x≥`X[{al⊂x
⎇`X[{aSpx≥`X[{a;Pxβ≥`X[{a#0x≥`X[{a ⊂ β}↓;80u`∩@X ∂`⊂λλ6λ9Y$β ↔ Eb⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()H¬∧λ'⊃∧α@'∪jB∀⊃*∃( S∧α@)U(#λ⊂⊂%∩_
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪ ∃_*∀∧¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λεα J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λλ∩_J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
λ4λ)λ αH⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@!P*",
$α@!Q
",
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR∀⊂hE⊂⊂⊗¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧∧λ⊂ ¬∩H⊗λ∧α⊂≥mεH1Z∧π82H ⊗80Z-b9Z-W6~,gH⊗λ∞W_4[Lr6~-f(0\Dελ9~.F@6Y.FH1K∧π 7NDα⊂λ∧α⊂λ∧α* Dα!X.6(⊂
¬cλ↔λ∧α⊂λ∧α⊂λ∧α@$S*∧`$Q*2⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@ SHB∀∪λU_)T∧α@&⊃)d8*∩∧α@!Q
",
%∩∀∀jT⊂_Hλ∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧`$TjE⊂⊗¬∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
D()Tjα∀⊂(D _H¬∧`"SHu $λ¬∧_"∀D¬@∀J%∩ J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧∧λ⊂ %∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@!P*",
$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪(Th!λ¬∧_ TD¬@∀H¬∧_"∀D¬@∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR∀⊂hE⊂⊂⊗¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B HεαH∀K∧α⊂λ∞v@4Xmα;Y$ελ3X-⊗p⊂≤m⊗h8≠
⊗0<K∧π(9Z-f8⊂≠
⊗p2X."0\M↔ 4≠,W 4XeB:≠g"⊂λ∧α⊂λ∧α⊂∃¬d_0\lR→KDα@$S*∧`$Q*2∀⊂)d ⊂
T(&PDα@'∃ α∀⊂hE⊂⊂⊗¬∩∀∀jT⊂_Hλ∩H∀H¬∧_"∀D¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪JTh!⊃*%⊂⊂%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂⊗¬∩ J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀∪JD@⊂⊗∧∧λ∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λλ∩_
%∩`⊂λ∞v@4Xmα9Z-W6~,fH2\eB0\∞ε`<Z-f8⊂⊂hE⊂↔∪IDH)U
α0[LB!P*"p'∪ ∃_*∀¬B0[LB⊂≠nε(7~-f8⊂≥.α'∪ ∃_*∀¬B$Tj∧()∪%B'∃ α`⊂∪(Th! ∧∧`"SHu $ ∧∧((U(∀`⊗λ ⊗p2λ∧∧`"Tj5⊗λ∞Fx⊂≥∞vx⊂≠LW8⊂→mvλ6≤g"⊂⊂l↔_2Hε2p→ Dα⊂λ∧α⊂λ∧α∀∩)U&∩(U_⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊂)d ⊂
T(&PDα@'∃ α∀⊂hE⊂⊂⊗¬∩∀∀jT⊂_Hλ∩H∀H¬∧_"∀D¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∃)T⊂"TJα J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&∩*5 (λ αH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
λ∀ " $α@&⊃)d8*∩∧α@!Q
",
%∩H⊂⊂%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧((U(∀`⊂⊂$βλ∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪(Th!λ¬∧p*∩∧α@!Q
",
$α@)U(#λ⊂⊂%∩H⊂⊗¬∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂⊗¬∩∀⊂hE⊂⊂⊗¬∩H∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H)TλU⊂&H¬∧_"∀D¬@∀J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λλ∩_
%∩p⊂λ∧α!≥.B:~
↔_⊂≤m⊗h8≠
⊗04Y.20Yl⊗H7 ∧π(7→Mv`2~-f8⊂∪IDH)U
α0[LB&Q)T⊂⊗λ∧α⊂≥
sP⊂λ∧α⊂λ∧α⊂λ
Bp⊂λλ6λ9Y$β_↔ %b⊂λ∧α⊂λ∧α⊂
∀h(∪ ∀()@wαv}x1πN∂0xα⎇`X[{l Px ≥`X[{kq0x ⎇`X[{kY⊂x
=`X[{k@pxλ⎇`X[{k(Px ]`X[{k⊂0x
≥`X[{jx⊂x
=`X[{j←pxλ≥`X[{jGPx≥`X[{j/0x∞=`X[{j↔⊂x≥`X[{i}pxβ≥`X[{ifPx≥`X[{iN0xα⎇`X[{i6⊂x∧]`X[{i≥px
]`X[{i¬Pxπ]`X[{hm0x∂≥`X[{hU⊂xλ≥`X[{h<px
⎇`X[{h$Px =`X[{h 0x ]`X[{gt⊂xπ=`X[{g[px≥`X[{gCPx∞=`X[{g+0x≥`X[{g∪⊂xβ≥`X[{fzpx≥`X[{fbPx∞⎇`X[{fJ0xλ=`X[{f2⊂x ≥`X[{f→px ]`X[{f↓Pxλ=`X[{ei0xπ]`X[{eQ⊂x≥`X[{e8px∞⎇`X[{e Px∞]`X[{eλ0xε]`X[{dp⊂x≥`X[{dWpxα⎇`X[{d?Px∧]`X[{d'0x∞]`X[{d∂⊂xλ≥`X[{cvpxπ]`X[{c↑Px∂≥`X[{cF0x ]`X[{c.⊂x∞]`X[{c∃px =`X[{b⎇Px ]`X[{be0xπ=`X[{bM⊂x≥`X[{b4px∞=`X[{b≤Px↓⎇`X[{b∧0x≥`X[{al⊂xβ≥`X[{aSpx≥`X[{a;Pxα⎇`X[{a#0x∧]`X[{a ⊂ β9 ↓;80u`∩@X ∂`⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊂)d ⊂
T(&PDα@'∃ α∀⊂hE⊂⊂⊗¬∩∀∀jT⊂_Hλ∩H∀H¬∧_"∀D¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@&∩*5 (λ αH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
λ∀ " $α@&⊃)d8*∩∧α@!Q
",
%∩H⊂⊂%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
λUλ*P)B Hε∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀⊂h∃⊂⊂⊗¬∩,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪Iu ⊂
T(&PDα@!P*",
$α@!Q
",
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
∃_(⊃*$h⊂
λ4 )λ αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂⊂$β∀J%B⊂λ∧π84~,6@⊂≥lR0Yl⊗H7λ∞6H6\
FH3≡%B7\ Vp4[Lr:\∧∧((U(∀`⊗λ d`$TjE⊗λ ⊗p2λ∧α⊂∪(Th! ∧π 7NDα⊂λ∧α⊂λ∧α* H6λ9Y$β⊂↔λ¬∧H&T DH"Tdα@ SHB∀∪Iu ⊂
∃_(⊃*$h⊂
λ4 )λ αH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∪JTh!⊃*%⊂⊂%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧`"Tj5⊂
D('⊃jD@⊂⊗¬∩ J%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
dx*λ¬∧h"S("∀∪JD@⊂⊗∧∧λ∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λλ∩_
%∩`⊂λ∞v@4Xmα9Z-W6~,fH2\eB9→.w⊂4]
⊗p3H∞vH:~∧∧_"∀Edp&∩*5 (λ ⊗p2λ∧∧_ TEdp&∩*5 ( ∧ελ7→∧εx8→-fH7→dπ(8λ∞F@2H g(7_nFH7[N2'∪ ∃_*∀¬B$Tj∧()∪%B⊂∪JD@⊗λ T(&PEB&⊃)d8*∩¬B"T*Tλ& ∧ελ7→∧∧`"Tj5⊗λ∞Fx≥λ∧α⊂λ∧α⊂∃¬d_0\lR_KDα@$S*∧`$Q*2∀⊂)d ⊂
λUλ*P)B∀∀jT⊂_Hλ∩H⊂ ¬∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂
e(&PHU⊂(λλ∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&⊃*5_(λ¬∧`"SHu $λ αH⊂⊂%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
e $λ α J$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀∩*5"TIR,
%∩⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α∀⊃*∃( S∧∧λ⊂ ¬∩H↔λ∧∧λ8≤
GH4[Lr:~ R6→-Vh0H
5(! %d(&∩)R`⊂≤LW6_,6(⊂⊂$ε⊂<H¬∧λ"⊃ε∩-
$π 7H∧ε(6~-VH7_.F(⊂
5(! $∧λ∀KDα+Y$π⊂2[∂∩:\
vp⊂≥
ε(⊂≥∂↔2H∞&(9]∞&H1]
⊗x7λ∧ε`2[-Vλ⊂≠Mw 2Y∧π84→-b)U(#λ⊂≥l↔_⊂~-g 9≠lG(1Y,B:≠dπ⊂2\nG⊂4XnB:~ R7→.r⊂≥L↔⊂4X,&`2KDα*~
↔_⊂→lVp2\L↔ 2\g"⊂λ∧α⊂λ∧α@$S*∧`$Q*2∀⊂)d ⊂
e(&PHU⊂(λ "H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧((U(∀`⊂⊗Dβ∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@'∪jB∀∪λU_)T∧α@&⊃)d8*∩∧¬@∀H¬∧λ"⊃ε∩-
%∩H⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧p'U∧α@&Q)T⊂⊂
e $λ α∀⊂(D _H "H∀H αH∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@$Tj∧()∪$¬@∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@"T*Tλ&λ¬∧λ"⊃ε∩-
$β∀J%B⊂≥mεH1Z∧π82H∞6H6\
FH3≡%B:[Lfx6→
⊗p3H∞F@2H F(3~-fH:~-vp9H
v0⊂⊃*∃( S¬B⊂∪JTh!⊃*%⊗λ e $ ∧∧p&∩*5 ( ∧∧h"S("`⊂∪λTp#U α`⊂_-f ⊂∪λU_)T¬B:≠g"⊂λ∧α⊂λ∧¬ ↔λ∧α⊂λ
F@0]∧ε04[M↔_4→.2:~ R8≤Mvx3λ
v0⊂
F∩p_K∧π84~,6@⊗λ 6x7≤lWλ:Y-g 6≡%F04[M↔_4→.2:~ R8≤Mvx3λ
v0⊂
F∩p⊂λ
∩p"KHBp-Mε∪H≠ ∧ε_7≤dαx⊂ F#@↔ dπ_⊂
dβ⊂→KG∩3XdαX⊂ Frp≠λ
⊗x⊂
πR→∞εR λε∩H.QItx→λ wαv}x1πN∂0x∞]`X[{l Pxπ]`X[{kq0x∂≥`X[{kY⊂xλ≥`X[{k@px
⎇`X[{k(Px =`X[{k⊂0x ]`X[{jx⊂xπ=`X[{j←px≥`X[{jGPx∞]`X[{j/0xβ=`X[{j↔⊂x≥`X[{i}pxβ≥`X[{ifPx≥`X[{iN0x ≥`X[{i6⊂xλ=`X[{i≥px ≥`X[{i¬Px ]`X[{hm0xλ=`X[{hU⊂xπ]`X[{h<px≥`X[{h$Px =`X[{h 0x∞]`X[{gt⊂x
]`X[{g[px≥`X[{gCPxα]`X[{g+0x≥`X[{g∪⊂x
≥`X[{fzpxλ=`X[{fbPx ≥`X[{fJ0x ]`X[{f2⊂xλ=`X[{f→pxπ]`X[{f↓Px≥`X[{ei0x∞≥`X[{eQ⊂x∞≥`X[{e8px∞]`X[{e Pxπ≥`X[{eλ0x≥`X[{dp⊂xλ=`X[{dWpxλ=`X[{d?Px
⎇`X[{d'0x
=`X[{d∂⊂xλ=`X[{cvpx =`X[{c↑Px≥`X[{cF0x∞≥`X[{c.⊂x
≥`X[{c∃px≥`X[{b⎇Pxα]`X[{be0x≥`X[{bM⊂x≥`X[{b4px∞]`X[{b≤Pxλ=`X[{b∧0x≥`X[{al⊂x
=`X[{aSpx↓≥`X[{a;Px=`X[{a#0x≥`X[{a ⊂ β6@↓;80u`∩@X ∂`/QλT0'
∀p+⊃*% →묬(⊂∪D∧h∀H∧α⊂λ∧α⊂λ∧α⊂λ∧α@$QDα@-⊃*$x(λ bH⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ dH&λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α@!Sie_⊂
∀p"⊃+α*H¬∧λ"⊃ε∩∀⊃ ∀0#⊃*$('⊂hR&H bH∀J$α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ∧α⊂λ¬∧H'∃HU⊂* D¬(⊂
5(! $∧p∀H RH∀J%∩⊂λ∧α*~ R6→-Vh0H
5(! %d`"Tj5⊂→.7 0XMFH9Z W_⊂≥
ελ:λ¬∧_'U)e ⊂∪E∩3[lW_2≠nvp⊂_,6_7\LFH7→dπ 7H∞F@2H∞v(6≠¬V07]-f 2Y∧ε0:[L7 4[mb&⊃*5_(λ
⊗p⊂→,⊗_4≤LV_:\N6H;→$ε_0[
Bp⊂λ ε(7_lR`⊂∩)e0"TJC⊂⊂~.20Xl6(8≥ V ⊂≥-f 2\Dπ 4→,F(3~-fH:~-vp0[∧π9~-f_4\
F(↔λ∧∧x1≤lW⊂;→$π 4_.CP⊂λ∧α⊂λ¬∧x)λ¬∧`$Uλ∃ 'S$α@$SJd()∃ε"*H b&J%∩⊂λ∧α⊂λ∧α⊂
DH)U
α∀∩)e0"TJC⊂⊂∃$∧p⊂∪%∩H∀Z.20H∞F@2[n&(6KK3λ≠Mg∩1[N2↔Hεbp≤λ∞2∃Hεαp_λ v_⊂
dαp≠λ
⊗x⊂
πR≤λλα_J+TH'∃HU⊂* D∃x"⊃(dp∀∩)e0"TJB∀∃%∩⊂λ∧α⊂λ∧α⊂λ∧α∀∩)e0"TJC⊂⊂∃$α@&⊃)d8*∩∧¬(∀H¬∧`"SHu $λ
RH∀J$α⊂λ∧∧p7] R:~ ↔ ⊂
u⊂⊂
DH*⊂*Dx&H¬∧H'∃HU⊂*λ
RH∀H¬∧`$TjE⊂
∀p+⊃*% ⊂∃%∩H∀Z.20H∞F@2[n&(6KK3(≠∞∧ε_7≤dαx⊂ Ec0⊂≤dαX⊂ ¬c⊂→l2∃H¬c_⊂~-r∀∂$β_⊂⊂∧βλ∀W)∀p+⊃*% ⊗K%Rh⊗K%Pwαv}x1πN∂0x¬=`X[{l Pxε⎇`X[{kq0x¬=`X[{kY⊂x∞=`X[{k@px =`X[{k(Px∞=`X[{k⊂0x∞=`X[{jx⊂x
=`X[{j←px ]`X[{jGPxλ⎇`X[{j/0xλ]`X[{j↔⊂xβ=`X[{i}px≥`X[{ifPx≥`X[{iN0x≥`X[{i6⊂x =`X[{i≥px↓⎇`X[{i¬Px=`X[{hm0x≥`X[{hU⊂x∧≥`X[{h<px ⎇`X[{h$Px∞⎇`X[{h 0xβ=`X[{gt⊂x≥`X[{g[px≥`X[{gCPx≥`X[{g+0x ≥`X[{g∪⊂x↓]`X[{fzpx↓⎇`X[{fbPx≥`X[{fJ0 ↓0`↓;80u`∩@X λ@∧⊂?@E_ R)@α@
0⊂↓ 0↓ X↓ ↓↓ ↓(↓ ↓P↓ ↓p↓@ α ↓ αH↓ αp↓ β_↓@ βH↓ βp↓ ∧_↓ ∧@↓ ∧h`π@ ¬?␈x5 `¬_∧@¬λ J{T⊗8 λ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x¬∀
$x'QJ2p⊂λ∧↓RIT_ L&∩h→
¬Sλ≤Nεα→ g#__∞F3λH_H_H_↓HH ¬H ¬H εxH πH πH H